<?hh

/*
   +-------------------------------------------------------------+
   | Copyright (c) 2015 Facebook, Inc. (http://www.facebook.com) |
   +-------------------------------------------------------------+
*/
<<__EntryPoint>> function main(): void {
error_reporting(-1);

if ((1 << 31) < 0)
{
    var_dump(2147483648);
    var_dump(-2147483648);
    var_dump(-2147483647 - 1);
    var_dump(0x80000000);
    var_dump(020000000000);
    var_dump(0b10000000000000000000000000000000);
//             10987654321098765432109876543210
//              3         2         1         0
}
else
{
    var_dump(-9223372036854775807 - 1);
    var_dump(0x7FFFFFFFFFFFFFFF);
    var_dump(0777777777777777777777);
    var_dump(0b111111111111111111111111111111111111111111111111111111111111111);
//             3210987654321098765432109876543210987654321098765432109876543210
//             6  6         5         4         3         2         1         0
}
}
